Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
501	Quantum boolean functions Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 14:40:27 Physics Models of computation Quantum algorithm Quantum measurement Quantum computer Quantum error correction Quantum circuit Quantum mechanics Boolean algebra Theoretical computer science Quantum information science Applied mathematics
502	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
503	Quantum Adversary (Upper) Bound Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-04-06 19:44:11 Models of computation Decision tree model Quantum algorithm Quantum computer PP Theoretical computer science Applied mathematics Computational complexity theory
504	1 2 Implementing Semantic Theories Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:07:07 Literate programming Functional languages Higher-order functions Models of computation Logic programming Unification Lambda calculus Prolog Haskell Software engineering Computing Computer programming
505	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
506	Managing Digital Rights using Linear Logic Adam Barth Stanford University Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:10:18 Copyright law Digital rights management PlayReady OMA DRM Monotonic function Entailment Finite-state machine Logic Mathematics Models of computation
507	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
508	Varieties Generated by Certain Models of Reversible Finite Automata Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 15:22:32 Mathematics Semigroup theory Algebra Models of computation Category theory Semiautomaton Monoid Free monoid Regular language Abstract algebra Automata theory Formal languages
509	Almost all decision trees do not allow significant quantum speed-up Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-14 16:07:15 Models of computation Decision tree model Binary trees Quantum algorithm PP Randomized algorithm Quantum computer Random binary tree Switching lemma Theoretical computer science Applied mathematics Computational complexity theory
510	On Quantum Interactive Proofs with Short Messages Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-09 02:04:20 Quantum complexity theory Models of computation Probabilistic complexity theory Quantum information science QIP QMA Interactive proof system IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics

UPDATE